ReMax - A MaxSAT aided Product (Re-)Configurator
نویسندگان
چکیده
We introduce a product configurator with the ability of optimal re-configuration built on MaxSAT as the background engine. A product configurator supported by a SAT solver can provide an answer at any time about which components are selectable and which are not. But if a user wants to select a component which has already been disabled, a purely SAT based configurator does not support a guided re-configuration process. With MaxSAT we can compute the minimal number of changes of component selections to enable the desired component again. We implemented a product configurator — called ReMax — using state-of-the-art MaxSAT algorithms. Besides the demonstration of handmade examples, we also evaluate the performance of our configurator on problem instances based on real configuration data of the automotive industry.
منابع مشابه
MaxSAT by Improved Instance-Specific Algorithm Configuration
Our objective is to boost the state-of-the-art performance in MaxSAT solving. To this end, we employ the instancespecific algorithm configurator ISAC, and improve it with the latest in portfolio technology. Experimental results on SAT show that this combination marks a significant step forward in our ability to tune algorithms instance-specifically. We then apply the new methodology to a number...
متن کاملDeveloping Product Configurator Tool Using CADs’ API with the help of Parametric Modeling for Design Automation of Hydraulic Actuator
Order placingis a crucial phase of lifecycle of a Mass-customizable product and seeks improvement in Mechanical industry. ‘Product Configurator’ is a good solution to bring in data transparency and speed up the process. Configuration tools arebeing used on a very small scale,reasons being lack of awareness and dearer costs of existing tools. In this research work a product configurator is devel...
متن کاملDeveloping a Matrix Based Sales Configurator for Modular Product
For several years, the structuring approaches for modular product families have been developed in industry. The modularization leads often to the use of configurator, which is a computer application used to manage the relations of modules, connections and rules between different customer segments. Configurator brings benefits to the whole delivery process, by removing the information gaps from ...
متن کاملApplications of MaxSAT in Automotive Configuration
We give an introduction to possible applications of MaxSAT solvers in the area of automotive (re-)configuration. Where a SAT solver merely produces the answer “unsatisfiable” when given an inconsistent set of constraints, a MaxSAT solver computes the maximum subset which can be satisfied. Hence, a MaxSAT solver can compute repair suggestions, e.g. for non-constructible vehicle orders or for inc...
متن کاملKumbang Configurator–A Configuration Tool for Software Product Families∗
This paper presents Kumbang Configurator, a prototype system for deriving product individuals from configurable software product families. Configurable software product families resemble configurable products in that they have a pre-defined structure and can be customised according to customer requirements in a routine manner. The conceptual basis underlying the configurator is Kumbang, a langu...
متن کامل